Theoretical Aspects of Computer Science

Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science

As the World Wide Web is growing rapidly, it is getting increasingly challenging to gather representative information about it. Instead of crawling the web exhaustively one has to resort to other techniques like sampling to determine the properties of the web. A uniform random sample of the web would be useful to determine the percentage of web pages in a specific language, on a topic or in a t...

Mathematical Aspects of Computer Science

Cs-352 Theoretical Computer Science

Today we continue with the topic of the previous lecture – game theory. Last time we introduced a notion of Nash equilibrium and showed that all the examples of games we considered posses them. This begs to wonder: was it a coincidence or maybe every game has a Nash equilibrium? Answering this question is the main topic of this lecture. In particular, we prove two fundamental theorems in this r...

Theoretical Computer Science Ws 2017

Detailed information on the material covered during the semester, including relevant references to the literature, will be regularly given here. Our two main textbooks are listed below. Both of those textbooks are available for free download via the University of Vienna Library. The book of Herbert Enderton, Computability theory. An introduction to recursion theory , gives a detailed introducti...

Theoretical Computer Science in Transition

If the past is prologue to the future, computer science will continue to be extremely successful. In a few short decades computer science has lead to revolutions in work, recreation and societal interactions. There are few technologies whose impact has been greater. Theoretical computer science has played a central role in these developments and is destined to play a central role in the future....